GenConcl p{-}id() = ${\it id}$ THENA Auto